(redisplay_internal): Set windows_or_buffers_changed

if face_change_count is non-zero.

diff --git a/src/xdisp.c b/src/xdisp.c
index 3da744c9c73d6a09cf48f2a86ba878a9e4375b76..68dd53cfd9bfb886030470b12e8ef664f00867cc 100644 (file)
--- a/src/xdisp.c
+++ b/src/xdisp.c
@@ -8032,6 +8032,12 @@ redisplay_internal (preserve_echo_area)
       fonts_changed_p = 0;
     }
 
+  /* If face_change_count is non-zero, init_iterator will free all
+     realized faces, which includes the faces referenced from current
+     matrices.  So, we can't reuse current matrices in this case.  */
+  if (face_change_count)
+    ++windows_or_buffers_changed;
+
   if (! FRAME_WINDOW_P (sf)
       && previous_terminal_frame != sf)
     {